Every permutation of a finite set can be written as a cycle or as a product of disjoint cycles.